results for Interval Constraint Propagation